linear resolution - traducción al ruso
Diclib.com
Diccionario ChatGPT
Ingrese una palabra o frase en cualquier idioma 👆
Idioma:

Traducción y análisis de palabras por inteligencia artificial ChatGPT

En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:

  • cómo se usa la palabra
  • frecuencia de uso
  • se utiliza con más frecuencia en el habla oral o escrita
  • opciones de traducción
  • ejemplos de uso (varias frases con traducción)
  • etimología

linear resolution - traducción al ruso

THEOREM PROVER, A MATHEMATICAL CONCEPT
Delayed clause construction; Semi-linear resolution; Delayed Clause Construction; Semi-Linear Resolution; Carine theorem prover

linear resolution      

математика

линейная резолюция

hi-res         
  • 1951 USAF resolution test target]] is a classic test target used to determine spatial resolution of imaging sensors and imaging systems.
MEASURE OF HOW FINE AN IMAGE IS
Hi Resolution; Low resolution; High-resolution; High resolution; Hi-res; Effective pixels; Total pixels; Texture resolution; Picture resolution; Hi-rez; High-rez; Film resolution; Image size; Pixel count; Lo-res; Hi res; Highres; 🆨; Image line pairs; Line pairs per mm

Смотрите также

high-resolution

high-rez         
  • 1951 USAF resolution test target]] is a classic test target used to determine spatial resolution of imaging sensors and imaging systems.
MEASURE OF HOW FINE AN IMAGE IS
Hi Resolution; Low resolution; High-resolution; High resolution; Hi-res; Effective pixels; Total pixels; Texture resolution; Picture resolution; Hi-rez; High-rez; Film resolution; Image size; Pixel count; Lo-res; Hi res; Highres; 🆨; Image line pairs; Line pairs per mm

общая лексика

спец

технически грамотный (разумный) человек, который, в отличие от low-rez персоны, не сторонится новых технологий, но и не полагается на них полностью

Смотрите также

high resolution

Definición

linear map
<mathematics> (Or "linear transformation") A function from a vector space to a vector space which respects the additive and multiplicative structures of the two: that is, for any two vectors, u, v, in the source vector space and any scalar, k, in the field over which it is a vector space, a linear map f satisfies f(u+kv) = f(u) + kf(v). (1996-09-30)

Wikipedia

CARINE

CARINE (Computer Aided Reasoning Engine) is a first-order classical logic automated theorem prover. It was initially built for the study of the enhancement effects of the strategies delayed clause-construction (DCC) and attribute sequences (ATS) in a depth-first search based algorithm. CARINE's main search algorithm is semi-linear resolution (SLR) which is based on an iteratively-deepening depth-first search (also known as depth-first iterative-deepening (DFID)) and used in theorem provers like THEO. SLR employs DCC to achieve a high inference rate, and ATS to reduce the search space.

¿Cómo se dice linear resolution en Ruso? Traducción de &#39linear resolution&#39 al Ruso